% ===================================================================== %
% Standard titlepage for arith library					%
% ===================================================================== %

\begin{titlepage}

\setcounter{page}{1}		          % titlepage IS page 1 !

% --------------------------------------------------------------------- %
% Name of the library.							%
% --------------------------------------------------------------------- %

\mbox{}
\vskip20mm
\begin{center}
{\Huge\bf The HOL arith Library}
\end{center}

% --------------------------------------------------------------------- %
% Name of the author							%
% --------------------------------------------------------------------- %

\vskip15mm
\begin{center}
\large\bf R.\ J.\ Boulton
\end{center}

% --------------------------------------------------------------------- %
% Address of the author							%
% --------------------------------------------------------------------- %

\vfill
\begin{center}
\bf
University of Cambridge, Computer Laboratory\\
New Museums Site, Pembroke Street\\
Cambridge, {\small\bf CB}2 3{\small\bf QG}, England.
\end{center}

% --------------------------------------------------------------------- %
% Date.									%
% --------------------------------------------------------------------- %

\vskip5mm
\begin{center}
\bf July 1992
\end{center}
\begin{center}
\bf (Revised November 1995)
\end{center}

\end{titlepage}

% --------------------------------------------------------------------- %
% To kick a blank page with no header (back of title page is blank).	%
% --------------------------------------------------------------------- %
\thispagestyle{empty}
\mbox{}

% --------------------------------------------------------------------- %
% Copyright notice (if desired).					%
% --------------------------------------------------------------------- %
\vfill
\begin{center}
\copyright\ R.\ J.\ Boulton 1992, 1995
\end{center}
\newpage
